type A = [string,
